UML and Concurrency
نویسنده
چکیده
In this paper we survey the various ways in which concurrency concerns interact with the modelling of software systems in UML. We discuss the aspects of UML1.4 which can be used to model concurrency aspects of systems, and mention some of the changes expected in UML2.0. We briefly survey some of the research which has been carried out concerning UML and concurrency, and some outstanding issues.
منابع مشابه
A Review on Concurrency Fault Detection Techniques
Abstract— The UML is the most common language that is used for system modeling. But, this language has been designed as a general purpose modeling language that might need modeling constructs for the specific real time embedded (RTE) domain. To fill this lack, OMG has standardized a UML addition, called MARTE. Domain specification UML provides a special way called a profile. The UML profile f...
متن کامل. a Uml/marte Detection of Starvation and Deadlocks at the Design Level in Concurrent System
Concurrency problem is when more than one job is executed in parallel. Concurrency problems such as deadlock and starvation should be identified in design process. The existing work is based on the analysis of design models expressed in the Unified Modelling Language (UML).It uses a genetic algorithm to detect concurrency problem. Concurrency information is extracted from system UML models that...
متن کاملOn the Concurrent Object Model of UML
Designing object models with concurrency features was a preoccupation of numerous researchers for the past two decades. UML, the standard object-oriented modeling language adopted by the OMG, does not tackle the issues of concurrency in its object model in a systematic way. In this paper we outline the position of the UML object model within the design space of concurrent object models describe...
متن کاملcmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport’s transition axiom method is a formal specification method which combines axiomatic and operational approaches. On the other hand Unified Modeling Language (UML), a de facto industry standard visual language, lacks suitable constructs and semantics regarding concurre...
متن کاملActor-eUML for Concurrent Programming
The advent of multi-core processors offers an opportunity to increase the usage of Executable UML. Researchers are advocating the division of software systems into a productivity layer and an efficiency layer to shield mainstream programmers from the complexities of parallelism. Such separation of application and platform concerns is the foundation of Executable UML. To leverage this opportunit...
متن کامل